TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
A promising approach for the direct on-chip synthesis of boron nitride memristors
phys.org·18h
⚡Circuit Archaeology
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·3h·
Discuss: Hacker News
👑Isabelle
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
FPGA-based Game Bub handheld console supports original Nintendo cartridge, wireless controllers (Crowdfunding)
cnx-software.com·5h
🎮Gameboy Emulation
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
Scientists find a way to potentially reach terabit speeds wirelessly around obstacles using machine learning, AI - and yes, metasurfaces
techradar.com·4h
🕸️Mesh Networking
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·1h·
Discuss: Hacker News
🧠Machine Learning
RTL generation for custom CPU Mrav
popovicu.com·3d
⚙️Modern Assembly
Sep 26 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·9h
🎛️Audio Synthesis
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·2d·
Discuss: DEV
⚡Circuit Verification
Implementing Forth in Go and C
eli.thegreenplace.net·1h
🔗Concatenative Programming
Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·19h
⚡Nordic Processors
Proxmox Cluster Mini Rack
i.redd.it·3h·
Discuss: r/homelab
🏠Homelab Clusters
Paradigms of Intelligence Team
github.com·15h·
Discuss: Hacker News
🔲Cellular Automata
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·4h
🦀Embedded Rust
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
The AVX-512 thread
forums.anandtech.com·19h
🧲RISC-V Archaeology